inducible property

可归纳的性质